<?php
    htmlspecialchars($string, double_encode: false);
